formalized computer
英 [ˈfɔːməlaɪzd kəmˈpjuːtə(r)]
美 [ˈfɔːrməlaɪzd kəmˈpjuːtər]
形式化计算机
双语例句
- This paper also proposed a descriptive language of formal rules based on BNF and production rule, formalized the processing rules for consecutive verb and implemented the rules by computer program.
同时，还提出了一种基于BNF范式和产生式规则的形式化规则描述语言，完成了对规则的形式化描述和软件实现。